Positive relativizations for log space computability
نویسندگان
چکیده
منابع مشابه
Feedback computability on Cantor space
We introduce the notion of feedback computable functions from 2 to 2, extending feedback Turing computation in analogy with the standard notion of computability for functions from 2 to 2. We then show that the feedback computable functions are precisely the effectively Borel functions. With this as motivation we define the notion of a feedback computable function on a structure, independent of ...
متن کاملComputability of Banach Space Principles
We investigate the computable content of certain theorems which are sometimes called the “principles” of the theory of Banach spaces. Among these the main theorems are the Open Mapping Theorem, the Closed Graph Theorem and the Uniform Boundedness Theorem. We also study closely related theorems, as Banach’s Inverse Mapping Theorem, the Theorem on Condensation of Singularities and the BanachStein...
متن کاملRelativizations for the Logic-Automata Connection
BDDs and their algorithms implement a decision procedure for Quantified Propositional Logic. BDDs are a kind of acyclic automata. But unrestricted automata (recognizing unbounded strings of bit vectors) can be used to decide monadic second-order logics, which are more expressive. Prime examples are WS1S, a number-theoretic logic, or the string-based logical notation of introductory texts. One p...
متن کاملLog-time and Log-space Extreme Classification
We present LTLS, a technique for multiclass and multilabel prediction that can perform training and inference in logarithmic time and space. LTLS embeds large classification problems into simple structured prediction problems and relies on efficient dynamic programming algorithms for inference. We train LTLS with stochastic gradient descent on a number of multiclass and multilabel datasets and ...
متن کاملComputability on Regular Subsets of Euclidean Space
For the computability of subsets of real numbers, several reasonable notions have been suggested in the literature. We compare these notions in a systematic way by relating them to pairs of ‘basic’ ones. They turn out to coincide for full-dimensional convex sets; but on the more general class of regular sets, they reveal rather interesting ’weaker/stronger’ relations. This is in contrast to sin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1990
ISSN: 0304-3975
DOI: 10.1016/0304-3975(90)90168-h